#!/bin/sh
#cmd=${0##*/}
#echo "$cmd: warning: $cmd is obsolescent; using grep -E" >&2
exec grep -E "$@"
